<?php

	//--------------------------------------------------------------------------------
	
	function dump( $array, $halt = false )
	{
		echo '<pre>';
		print_r( $array );
		echo ';</pre>';
		if ( $halt ) exit;
	}

	//--------------------------------------------------------------------------------	

?>